121![Multi-Agent Planning with Knowledge, Action and Time Mario R. F. Benevides1 , Luis R. M. Lopes1 1 Programa de Engenharia de Sistemas e Computac¸a˜ o, COPPE/UFRJ, Cidade Universit´aria, Centro de Tecnologia, Bloco H Multi-Agent Planning with Knowledge, Action and Time Mario R. F. Benevides1 , Luis R. M. Lopes1 1 Programa de Engenharia de Sistemas e Computac¸a˜ o, COPPE/UFRJ, Cidade Universit´aria, Centro de Tecnologia, Bloco H](https://www.pdfsearch.io/img/a978f2ab4feeff2e0e5b07bf783e0563.jpg) | Add to Reading ListSource URL: www.lbd.dcc.ufmg.brLanguage: English - Date: 2011-06-27 10:05:13
|
---|
122![Formal Evaluation of Agent Architectures N. Alechina and B. S. Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk Formal Evaluation of Agent Architectures N. Alechina and B. S. Logan School of Computer Science University of Nottingham Nottingham NG8 1BB, UK {nza,bsl}@cs.nott.ac.uk](https://www.pdfsearch.io/img/d3b9c52c4aee0c5afc7b6e1124c6bc98.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2008-01-08 13:15:13
|
---|
123![Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a](https://www.pdfsearch.io/img/124d59cd3a145afef76e21b0fb0cb0f6.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2005-12-12 08:39:57
|
---|
124![A Logic of Agent Programs A Logic of Agent Programs](https://www.pdfsearch.io/img/210b9380609784ae8987a64f1e2d8640.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2007-05-21 06:40:23
|
---|
125![Modularity and compositionality in Jason Neil Madden and Brian Logan School of Computer Science University of Nottingham, UK. {nem,bsl}@cs.nott.ac.uk Modularity and compositionality in Jason Neil Madden and Brian Logan School of Computer Science University of Nottingham, UK. {nem,bsl}@cs.nott.ac.uk](https://www.pdfsearch.io/img/cbb6ee7c3d893b082100b2ebc44f0fe3.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2009-03-18 06:12:42
|
---|
126![QAPL[removed]Verification of Resource Requirements of Distributed Reasoning Agents 1 Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib2 School of Computer Science QAPL[removed]Verification of Resource Requirements of Distributed Reasoning Agents 1 Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib2 School of Computer Science](https://www.pdfsearch.io/img/eb54e1d761c25e3d0599fa7d40f5f272.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2008-06-18 10:10:29
|
---|
127![Planning Speech Acts in a Logic of Action and Change∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,patdo}@ida.liu.se Planning Speech Acts in a Logic of Action and Change∗ Martin Magnusson and Patrick Doherty Department of Computer and Information Science Link¨oping University, [removed]Link¨oping, Sweden {marma,patdo}@ida.liu.se](https://www.pdfsearch.io/img/7c521c18c1dfd05196427d1b8885dac0.jpg) | Add to Reading ListSource URL: www.ida.liu.seLanguage: English - Date: 2012-01-23 11:34:52
|
---|
128![Modelling Environments for Distributed Simulation Michael Lees1 , Brian Logan1, Rob Minson2 , Ton Oguara2 , and Georgios Theodoropoulos2 1 School of Computer Science and IT Modelling Environments for Distributed Simulation Michael Lees1 , Brian Logan1, Rob Minson2 , Ton Oguara2 , and Georgios Theodoropoulos2 1 School of Computer Science and IT](https://www.pdfsearch.io/img/6838ddf1ffd5096962bc2bcfa0fbbaa0.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2005-02-14 13:23:05
|
---|
129![Using theorem proving to verify properties of agent programs N. Alechina, M. Dastani, F. Khan, B. Logan and J.-J. Ch. Meyer Abstract We present a sound and complete logic for automatic verification of SimpleAPL programs. Using theorem proving to verify properties of agent programs N. Alechina, M. Dastani, F. Khan, B. Logan and J.-J. Ch. Meyer Abstract We present a sound and complete logic for automatic verification of SimpleAPL programs.](https://www.pdfsearch.io/img/9affa12a6732c1ff664655ab3eeb1447.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2010-09-15 07:44:56
|
---|
130![A Logic of Agent Programs A Logic of Agent Programs](https://www.pdfsearch.io/img/9d6a2553c8663ba7540ba6bd164edb87.jpg) | Add to Reading ListSource URL: www.cs.nott.ac.ukLanguage: English - Date: 2009-09-11 12:40:28
|
---|